sys{-}antecedent(${\it es}$;${\it Sys}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\{$f$:E(${\it Sys}$)$\rightarrow$E(${\it Sys}$)$\mid$ $\forall$$x$:E(${\it Sys}$). $f$($x$) c$\leq$ $x$\}